Search Results
Compositional Programming (ECOOP 2021)
ECOOP 2021 talk: Gradual Program Analysis for Null Pointers
Idris 2: Quantitative Type Theory in Practice (ECOOP 2021)
Gilad Bracha - Composing Software in an Age of Dissonance
Dahl-Nygaard Senior Prize Keynote at ECOOP 2021 by Kim B. Bruce.
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis (ECOOP 2021)
[ECOOP 2021] Enabling Additional Parallelism in Asynchronous JavaScript Applications
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
ECOOP'22 Announcement
OOPSLA21 Presentation 1080
Gillian a Multi language Platform for Compositional (...) | Philippa Gardner | Code Mesh V 2020
Weixin Zhang - EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse